Exercise logic.propositional.dnf.unicode
Description
Proposition to DNF (unicode support)
Code | logic.propositional.dnf.unicode |
Status | Stable |
Strategy | dnf |
Rules | 33 |
Buggy rules | 39 |
OpenMath support | yes |
Restartable strategy | yes |
Exercise generator | yes |
Examples | 0 |
Example exercises
generate exercise: very_easy, easy, medium, difficult, very_difficult